admissible homomorphism

容许同态